منابع مشابه
Specification and (property) inheritance in CSP-OZ
CSP-OZ [C. Fischer, CSP-OZ: A combination of Object-Z and CSP, in: H. Bowman, J. Derrick (Eds.), Formal Methods for Open Object-Based Distributed Systems, FMOODS’97, vol. 2, Chapman & Hall, 1997, pp. 423–438] is a combination of Communicating Sequential Processes (CSP) and Object-Z (OZ). It enables the specification of systems having both a state-based and a behaviouroriented view using the obj...
متن کاملDeriving Semantic Information through Property Covering and Inheritance
Covering is a well known relationship in semantic and object oriented data models Covering holds when a class is the union of a collection of subclasses However covering has been studied only for entity classes In this paper we investigate covering for properties as well We introduce a new relationship among properties called property covering Property covering holds when a property restricted ...
متن کاملIdentity Criteria of CNs: Quantification and Copredication
the situation becomes more subtle and evolved because, in such more complex situations, proper semantic treatments seem to require that appropriate identity criteria for the CN be determined according to contextual information. People have discussed how to deal with identity criteria involved in copredication including, for example, [1, 4, 5]. In particular, Gotham [4, 5] gives a detailed analy...
متن کاملasymptotic property of order statistics and sample quntile
چکیده: فرض کنید که تابعی از اپسیلون یک مجموع نامتناهی از احتمالات موزون مربوط به مجموع های جزئی براساس یک دنباله از متغیرهای تصادفی مستقل و همتوزیع باشد، و همچنین فرض کنید توابعی مانند g و h وجود دارند که هرگاه امید ریاضی توان دوم x متناهی و امیدریاضی x صفر باشد، در این صورت می توان حد حاصلضرب این توابع را بصورت تابعی از امید ریاضی توان دوم x نوشت. حالت عکس نیز برقرار است. همچنین ما با استفاده...
15 صفحه اولApplicability of Weyuker’s Property 9 to Inheritance Metric
In the metric suite for Object-Oriented design put forward by Chidamber and Kemerer it is observed that Weyuker property 9 is not satisfied by any of the structural Inheritance Complexity Metrics. The same is also observed for the candidate structural inheritance complexity metric by Brito and Carapuca, Li's inheritance metric suite, Rajnish and Bhattacherjee inheritance metric. This paper...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophical Issues
سال: 2017
ISSN: 1533-6077
DOI: 10.1111/phis.12104